21. Computational systems bioinformatics
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Bioinformatics- Congresses,Computational biology- Congresses,Biological systems- Computer simulation- Congresses,Biological systems- Simulation methods- Congresses
22. Computer methods in biomechanics
پدیدآورنده : edited by J. Middleton, M.L. Jones, and G.N. Pande
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Human mechanics- Computer simulation- Congresses,Biomedical engineering- Computer simulation- Congresses,Biomechanics- congresses,Computing Methodologies- congresses,Biomedical Engineering- methods- congresses
رده :
612
,.
760113
,
C545
,
1996
23. Diagrammatic representation and inference
پدیدآورنده : Philip Cox, Beryl Plimmer, Peter Rodgers (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer graphics, Congresses,Computer simulation, Congresses,Graphic methods, Congresses
رده :
QA90
.
D53
2012eb
24. Earthquakes
پدیدآورنده : dited by Kristy F. Tiampo, Dion K. Weatherley, Stuart A. Weinstein
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Seismology, Data processing, Congresses,Earthquakes, Computer simulation, Congresses,Seismology, Statistical methods, Congresses
رده :
QE
.
D36
,
E38
539
.
2
2008
25. Earthquakes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Seismology ; Data processing ; Congresses. ; Earthquakes ; Computer simulation ; Congresses. ; Seismology ; Statistical methods ; Congresses. ;
26. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
27. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
28. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
29. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
30. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
31. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
32. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791
33. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
34. Geostatistical simulations: Proceedings of the Geostatistical workshop, Fontainebleu, France, 1993
پدیدآورنده : / edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geology- Computer simulation- Congresses,Petroleum- Geology- Computer simulation- Congresses,Geology- Statistical methods- Data processing- Congresses
رده :
QE48
.
8
.
G477
1993
35. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده : edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Geology - Computer simulation - Congresses , Petroleum - Geology - Computer simulation - Congresses , Geology - Statistical methods - Data processing - Congresses , Petroleum - Geology - Statistical methods - Data processing - Congresses
رده :
QE
48
.
8
.
G47
1993
36. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geology-- Computer simulation-- Congresses,، Petroleum-- Geology-- Computer simulation-- Congresses,، Geology-- Statistical methods-- Data processing-- Congresses,، Petroleum-- Geology-- Statistical methods-- Data processing-- Congresses
رده :
QE
48
.
8
.
G47
1993
37. International Conference on Simulation '98
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Computer simulation, Congresses,Simulation methods, Congresses
رده :
QA76
.
9
.
I5I5
1998
38. International Conference on Simulators, 26-30 September 1983
پدیدآورنده : organized by the Computing and Control Division of the Institution of Electrical Engineers in association with the Ergonomics Society ... ]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Engineering models -- Congresses,، Simulation methods -- Congresses,، Computer simulation -- Congresses
رده :
TA
177
.
I53
1983
39. Medicine Meets Virtual Reality 15 :
پدیدآورنده : edited by James D. Westwood [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Virtual reality in medicine, Congresses.,Computer Simulation.,Medical Informatics-- methods.,MEDICAL-- Education & Training.,Virtual reality in medicine.
رده :
R858
.
A2
M428
2007eb
